S5 1803+78 Revisited

Text S5

dialysis-cryoprotected crystals were flash-cooled [1], using a nitrogen stream at about 105K. Using our in-house X-ray equipment for the vault crystals, we can observe diffraction strength, but we cannot collect diffraction data. In-house, the best of the C2 form crystals resulted in articulated but unresolved diffraction lunes. Only a few percent of the tested vault crystals have produced usea...

Figure S5

Text S5

QUICKSELECT Revisited

We give an overview of the running time analysis of the random divide-and-conquer algorithm FIND or QUICKSELECT. The results concern moments, distribution of FIND’s running time, the limiting distribution, a stochastic bound and the key: a stochastic fixed point equation.

S5 knowledge without partitions

We study set algebras with an operator (SAO) that satisfies the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.